- дерево доказательства теоремы
- Automation: proof tree
Универсальный русско-английский словарь. Академик.ру. 2011.
дерево доказательства теоремы
Смотреть что такое "дерево доказательства теоремы" в других словарях:
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
ИНТУИЦИОНИСТСКАЯ ЛОГИКА — одна из наиболее важных ветвей неклассической логики, имеющая своей филос. предпосылкой программу интуиционизма. Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил.… … Философская энциклопедия
Гаусс, Карл Фридрих — У этого термина существуют и другие значения, см. Гаусс. Карл Фридрих Гаусс Carl Friedrich Gauß … Википедия
Декарт Рене — Декарт основатель современной философии Альфред Н. Уайтхед писал, что история современной философии это история развития картезианства в двух аспектах: идеалистическом и механистическом , res cogitans ( мышления ) и res extensa (… … Западная философия от истоков до наших дней
Спиноза Бенедикт — Жизнь и сочинения Спинозы Бенедикт Спиноза (Барух д Эспиноза) родился в Амстердаме в 1632 г. (в том же году родился и Локк) в состоятельной семье испанских евреев (вынужденных скрываться от преследований инквизиции и принять христианство,… … Западная философия от истоков до наших дней
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… … Математическая энциклопедия
ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика … Философская энциклопедия
Паскаль Блез — Автономия разума, ничтожество и величие человека. Дар веры и его разумность Страсть к науке В философском хоре славного XVII века голос Паскаля прозвучал диссонансом не потому, что традиционные верования уже нельзя было защищать традиционными … Западная философия от истоков до наших дней
Информация — (Information) Информация это сведения о чем либо Понятие и виды информации, передача и обработка, поиск и хранение информации Содержание >>>>>>>>>>>> … Энциклопедия инвестора
